#ifndef BISON_FACT_TAB_H
# define BISON_FACT_TAB_H

#ifndef YYSTYPE
typedef union {
  TokenList  *pTokenList;
  TypedList  *pTypedList;
  StringList *pStringList;
  PENode     *pPENode;
  char	      string[STRING_LENGTH+1];
  int         data;
} yystype;
# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
# define	DEFINE_TOK	257
# define	PROBLEM_TOK	258
# define	SITUATION_TOK	259
# define	BSITUATION_TOK	260
# define	OBJECTS_TOK	261
# define	BDOMAIN_TOK	262
# define	INIT_TOK	263
# define	GOAL_TOK	264
# define	LENGTH_TOK	265
# define	SERIAL_TOK	266
# define	PARALLEL_TOK	267
# define	INTEGER	268
# define	AND_TOK	269
# define	NOT_TOK	270
# define	NAME	271
# define	VARIABLE	272
# define	TYPE	273
# define	EQUAL_TOK	274
# define	FORALL_TOK	275
# define	IMPLY_TOK	276
# define	OR_TOK	277
# define	EXISTS_TOK	278
# define	EITHER_TOK	279
# define	OPEN_PAREN	280
# define	CLOSE_PAREN	281


extern YYSTYPE yylval;

#endif /* not BISON_FACT_TAB_H */
